221. An introduction to modern mathematics
Author: Monjallon, Albert
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
Classification :
QA
248
.
M513
222. An introduction to practical formal methods using temporal logic
Author: / Michael Fisher
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Temporal automata,Logic, Symbolic and mathematical
Classification :
QA267
.
5
.
T45
,
F57
2011
223. An introduction to stymbolic logic
Author: Langer, susanne katherina)Knauth(5981-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، logic, symbolic and Mathematical
Classification :
BC
135
.
L35
1967
224. An introduction to substructural logics
Author: Restall, Greg
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
R47
2000
225. An introduction to symbolic logic
Author: / by Susanne K. Langer
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
L35
1967
226. An introduction to symbolic logic
Author: Langer, Susanne Katherina )Knauth(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L35
1967
227. An introduction to symbolic logic
Author: / by Susanne K. Langer
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
135
.
L35
228. An introduction to symbolic logic
Author: Langer, Susanne Katherina )Knauth(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L35
1967
229. An introduction to symbolic logic
Author: Langer
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
L35
1967
230. An introduction to symbolic logic
Author: by Susanne K. Langer
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L26I5
1967
231. An introduction to the elements of mathematics
Author: Fujii, John N
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Aggregates,، Algebra
Classification :
QA
9
.
F8
232. An investigation of the laws of thought
پدیدآورنده : Boole, George, 5181-4681
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
233. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
Author: Boole, George
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
Classification :
BC
135
.
B7
1854a
234. An investigation of the laws of thought; on which are founded the mathematical theories of logic and probabilities
Author: Boole
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, symbolic and mathematical,Thought and thinking,Probabilities
Classification :
BC
135
.
B6
235. An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
Author: By George Boole, L. L. D
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
Classification :
BC
135
.
B7
236. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
Author: Boole, George
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
Classification :
BC
135
.
B7
1958
237. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
238. An invitation to applied category theory
Author: Brendan Fong, David I. Spivak.,Fong, Brendan,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
239. An invitation to applied category theory :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
240. An outline of set theory
Author: / James M.Henle
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Set theory,Logic,symbolic and mathematical
Classification :
511
.
322
H514o
